Model Verification Please respond to the following: Determine whether you would use theorem proving, the use of a catalogue of formal refinement patterns, or SAT solver technology to verify an engineering model. Support your position. From the e-Activity, (http://www.youtube.com/watch?v=0gt503wK7AI.) determine whether or not you believe that a SAT solver will always be able to find a solution or verify a model. Support your position. Model Synthesis Please respond to the following: Examine the advantages and disadvantages of using the goal-driven model. Propose how you would assess the success factors of the goal-driven model synthesis. Examine the advantages and disadvantages of using a scenario-driven model synthesis approach as a formal specification of mission-critical goals, domain properties and operations. Propose how you would assess the success factors of the scenario-driven model synthesis. Purchase the answer to view it
